body {
  margin: 20px;
  background-color: #FFFFFF;
  color: #000000; 
  font-family: Helvetica, Arial, sans-serif;
}

div#error_box {
    border: 2px solid #FF0000;
    text-align: center;
    padding: 20px;
}

div#context {
    overflow: auto;
    height: 500px;
}

#context table {
    border-collapse: collapse;
}

#context th {
    border-bottom: 1px solid #000;
    font-weight: normal;
}

#context td {
    border-top: 1px dotted #000;
}

td.cross {
    text-align: center;
    vertical-align: middle;
}

div.implication {
    border-top: 1px dotted #000;
    padding: 10px;
}

div.imp_controls {
    float: right;
}

div.imp_controls a {
    padding: 4px;
}

.highlight {
    background-color: #4DCFFA;
}

div#exploration h1 {
    cursor: pointer;
}

div#exploration h1:hover {
    text-decoration: underline;
}